Optimal. Leaf size=99 \[ -\frac {7}{135} \sqrt {2-3 x^2} \sqrt {3 x^2-1} x-\frac {1}{15} \sqrt {2-3 x^2} \sqrt {3 x^2-1} x^3-\frac {2 F\left (\left .\cos ^{-1}\left (\sqrt {\frac {3}{2}} x\right )\right |2\right )}{27 \sqrt {3}}-\frac {8 E\left (\left .\cos ^{-1}\left (\sqrt {\frac {3}{2}} x\right )\right |2\right )}{45 \sqrt {3}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.09, antiderivative size = 99, normalized size of antiderivative = 1.00, number of steps used = 5, number of rules used = 5, integrand size = 26, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.192, Rules used = {478, 582, 524, 425, 420} \[ -\frac {1}{15} \sqrt {2-3 x^2} \sqrt {3 x^2-1} x^3-\frac {7}{135} \sqrt {2-3 x^2} \sqrt {3 x^2-1} x-\frac {2 F\left (\left .\cos ^{-1}\left (\sqrt {\frac {3}{2}} x\right )\right |2\right )}{27 \sqrt {3}}-\frac {8 E\left (\left .\cos ^{-1}\left (\sqrt {\frac {3}{2}} x\right )\right |2\right )}{45 \sqrt {3}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 420
Rule 425
Rule 478
Rule 524
Rule 582
Rubi steps
\begin {align*} \int \frac {x^4 \sqrt {-1+3 x^2}}{\sqrt {2-3 x^2}} \, dx &=-\frac {1}{15} x^3 \sqrt {2-3 x^2} \sqrt {-1+3 x^2}+\frac {1}{15} \int \frac {x^2 \left (-6+21 x^2\right )}{\sqrt {2-3 x^2} \sqrt {-1+3 x^2}} \, dx\\ &=-\frac {7}{135} x \sqrt {2-3 x^2} \sqrt {-1+3 x^2}-\frac {1}{15} x^3 \sqrt {2-3 x^2} \sqrt {-1+3 x^2}+\frac {1}{405} \int \frac {-42+216 x^2}{\sqrt {2-3 x^2} \sqrt {-1+3 x^2}} \, dx\\ &=-\frac {7}{135} x \sqrt {2-3 x^2} \sqrt {-1+3 x^2}-\frac {1}{15} x^3 \sqrt {2-3 x^2} \sqrt {-1+3 x^2}+\frac {2}{27} \int \frac {1}{\sqrt {2-3 x^2} \sqrt {-1+3 x^2}} \, dx+\frac {8}{45} \int \frac {\sqrt {-1+3 x^2}}{\sqrt {2-3 x^2}} \, dx\\ &=-\frac {7}{135} x \sqrt {2-3 x^2} \sqrt {-1+3 x^2}-\frac {1}{15} x^3 \sqrt {2-3 x^2} \sqrt {-1+3 x^2}-\frac {8 E\left (\left .\cos ^{-1}\left (\sqrt {\frac {3}{2}} x\right )\right |2\right )}{45 \sqrt {3}}-\frac {2 F\left (\left .\cos ^{-1}\left (\sqrt {\frac {3}{2}} x\right )\right |2\right )}{27 \sqrt {3}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.10, size = 92, normalized size = 0.93 \[ \frac {10 \sqrt {3-9 x^2} F\left (\left .\sin ^{-1}\left (\sqrt {\frac {3}{2}} x\right )\right |2\right )-24 \sqrt {3-9 x^2} E\left (\left .\sin ^{-1}\left (\sqrt {\frac {3}{2}} x\right )\right |2\right )-3 x \sqrt {2-3 x^2} \left (27 x^4+12 x^2-7\right )}{405 \sqrt {3 x^2-1}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [F] time = 0.58, size = 0, normalized size = 0.00 \[ {\rm integral}\left (-\frac {\sqrt {3 \, x^{2} - 1} \sqrt {-3 \, x^{2} + 2} x^{4}}{3 \, x^{2} - 2}, x\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\sqrt {3 \, x^{2} - 1} x^{4}}{\sqrt {-3 \, x^{2} + 2}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.20, size = 135, normalized size = 1.36 \[ -\frac {\sqrt {3 x^{2}-1}\, \sqrt {2}\, \sqrt {-6 x^{2}+4}\, \left (243 x^{7}-54 x^{5}-135 x^{3}+42 x -12 \sqrt {3}\, \sqrt {2}\, \sqrt {-6 x^{2}+4}\, \sqrt {-3 x^{2}+1}\, \EllipticE \left (\frac {\sqrt {3}\, \sqrt {2}\, x}{2}, \sqrt {2}\right )+5 \sqrt {3}\, \sqrt {2}\, \sqrt {-6 x^{2}+4}\, \sqrt {-3 x^{2}+1}\, \EllipticF \left (\frac {\sqrt {3}\, \sqrt {2}\, x}{2}, \sqrt {2}\right )\right )}{810 \left (9 x^{4}-9 x^{2}+2\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\sqrt {3 \, x^{2} - 1} x^{4}}{\sqrt {-3 \, x^{2} + 2}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.01 \[ \int \frac {x^4\,\sqrt {3\,x^2-1}}{\sqrt {2-3\,x^2}} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {x^{4} \sqrt {3 x^{2} - 1}}{\sqrt {2 - 3 x^{2}}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________